home *** CD-ROM | disk | FTP | other *** search
- These diskettes contain a public domain Prolog interpreter
- called Small Prolog version 2.
- In the USA the C User's Journal will have the latest releases.
-
- It has been compiled on an PC clone, on UNIX and on an Atari ST.
-
-
- The files concerned are:
- Disk 1 (Sources)
- pp.c - simple pretty printer (compile apart).
- pralloc.c -allocate structures
- prassert.c - asserta etc... builtins
- pratari.c - Atari specific code
- pratari.mak - Atari makefile for Mark Williams C.
- prbltin.c - most builtins
- prbltin.h -include file for prbltin.c
- prcnsult.c - code for consult builtin
- prdebug.c - functions you might use for debugging
- prerror.c - error message functions
- prhash.c - build sybol table
- prlex.h - used bu prparse.c and prscan.c
- prlush.c - lush resolution algorithm
- prlush.h - include file for prlush.c
- prmain.c - starting point
- prolog.h - configuation switches
- prparse.c - parser
- prprint.c -printer
- prscan.c - lexical analysis
- prsun.c - unix specific code that worked on a Sun workstation.
- prtypes.h -type definitions
- prunify.c - recursive unification algorithm, dereferencing
- makefile.tbc - makefile for Turbo C
- quickc.mak -makefile for Quick C
- zortech.mak -makefile for Zortech C
- old_prj.tbc - an old style Turbo C project file
- makefile : one of the makefiles
- makefile.unx : a makefile for Sun OS
- pratari.mak - a makefile for mark williams C on Atari.
- *.lnk - various link response files
-
- Disk 2 (Docs & executables)
- ---------------------------
-
- prmanual.txt - sort of manual
- frmanual.txt - out of date French translation of prmanual.txt
- sprolog.exe - compiled for MS DOS
- sprolog.32e - a 32bit version for a 386 machine (gcc-386 used)
- sprolog.inf - configuration file to override default memory consumption
- sprolog.ini - file of useful predicates loaded when starting up
- go32.exe - a Dos extender needed to run sprolog.32e
- pp.exe - a simple Small Prolog pretty-printer
-
- verif.spr - helps you find bugs in sprolog programs
- xread.spr - lets you read a list while retaining the variable names.
- help.spr - load this and type (help)
- exampl*.spr - example files that give you a taste of prolog.
- changes.91 - summary of recent changes
-